<script src="https://creusot-rs.github.io/creusot/doc/highlight.js"></script>
<script>
  hljs.configure({
      tabReplace: '    ',
      languages: [],
      cssSelector: '.example-wrap pre.rust code, .example-wrap pre.language-pearlite code'
  });
  hljs.highlightAll();
</script>
